(DEFPROP FIXFNS
 (NIL COUNT COUNTA SUBSTT FIXUP COM COMA COMB COMC)
VALUE)

(DEFPROP COUNT
 (LAMBDA (E1 E2) (COND ((EQUAL E1 E2) 1) ((ATOM E2) 0) (T (COUNTA E1 (CDR E2)))))
EXPR)

(DEFPROP COUNTA
 (LAMBDA (E U) (COND ((NULL U) 0) (T (PLUS (COUNT E (CAR U)) (COUNTA E (CDR U))))))
EXPR)

(DEFPROP SUBSTT
 (LAMBDA (X Y Z) (COND ((EQUAL Y Z) X) ((ATOM Z) Z) (T (CONS (SUBSTT X Y (CAR Z)) (SUBSTT X Y (CDR Z))))))
EXPR)

(DEFPROP FIXUP
 (LAMBDA(E)
  ((LAMBDA(Z)
    (COND ((NULL Z) E)
	  (T ((LAMBDA (W) (LIST (LIST (QUOTE LAMBDA) (LIST W) (FIXUP (SUBSTT W Z E))) Z)) (GENSYM)))))
   (COMMON E)))
EXPR)